Self-Checking Spreadsheets: Recognition of Semantics
نویسنده
چکیده
This paper demonstrates a self-checking (self-validating) spreadsheet. This checking analyzes the meaning or semantics of using a parsing scheme. These semantics go beyond dimension, unit, and type checking to include the physical and mathematical formulae that dominate science, engineering, and mathematics. The spreadsheet is a client, JavaScript web application working with a server application. Entries in the spreadsheet are analyzed by semantic parsers on the server, and the representation and recognition of spreadsheet semantics are detailed. The intent of this prototype is to reduce the errors errors in meaning that commonly occur when spreadsheets are used. A prototype has been available on the Internet since early 2010 at http://semantics.grc.nasa.gov/cgi-bin/spread.cgi. © 2013 M. E. M. Stewart. Published by Elsevier B.V. Selection and/or peer-review under responsibility of the organizers of the 2013 International Conference on Computational Science
منابع مشابه
How to turn spreadsheets into object oriented models
It is very common to see engineers using spreadsheets (e.g. excel) as a small database. For instance, a data dictionary will be a spreadsheet with a column for the data identifier and then different columns for data attributes (e.g. data type, step, min and max value). An advanced use would be to add two columns for functions producing and consuming the data resulting in a cross-reference dicti...
متن کاملExtracting and Semantically Integrating Implicit Schemas from Multiple Spreadsheets of Biology based on the Recognition of their Nature
Spreadsheets are popular among users and organizations, becoming an essential data management tool. The easiness to handle spreadsheets associated with the creative freedom resulted in an increase in the volume of data available in this format. However, spreadsheets are not conceived to integrate data from distinct sources and challenges arise involving systematization of processes to reuse and...
متن کاملChecks and Controls in Spreadsheets
Spreadsheets that are informally created are harder to test than they should be. Simple cross-foot checks or being easily readable are modest but attainable goals for every spreadsheet developer. This paper lists some tips on building self-checking into a spreadsheet in order to provide more confidence to the reader that a spreadsheet is robust.
متن کاملVisual Checking of Spreadsheets
The difference between surface and deep structures of a spreadsheet is a major cause of difficulty in checking spreadsheets. After a brief survey of current methods of checking (or debugging) spreadsheets, new visual methods of showing the deep structures are presented. Illustrations are given on how these visual methods can be employed in various interactive local and global debugging strategies.
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013